Results for 'Property Structure in Terms of Negation: An Introduction to Hegelian Logic'

1000+ found
Order:
  1. Understanding the object.Property Structure in Terms of Negation: An Introduction to Hegelian Logic & Metaphysics in the Perception Chapter - 2019 - In Robert Brandom (ed.), A Spirit of Trust: A Reading of Hegel’s _phenomenology_. Cambridge, Massachusetts: Harvard University Press.
     
    Export citation  
     
    Bookmark  
  2.  27
    An introduction to paraconsistent logics.Manuel Eugen Bremer - 2005 - New York: Peter Lang.
    This book gives an overview of paraconsistent logics - that is logics which allow for inconsistency. Although allowing for inconsistency, paraconsistent logics are worth considering: Logical systems are worth considering in their own right since we can learn about very abstract structural properties of logics and the concepts employed within them such as negation, necessity and consistency. Some non-classical logics are especially of interest from a philosophical perspective since they alone offer the possibility of solving or even stating some (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  3. The Concept of Logical Consequence: An Introduction to Philosophical Logic.Matthew W. McKeon - 2010 - Peter Lang.
    Introduction -- The concept of logical consequence -- Tarski's characterization of the common concept of logical consequence -- The logical consequence relation has a modal element -- The logical consequence relation is formal -- The logical consequence relation is A priori -- Logical and non-logical terminology -- The meanings of logical terms explained in terms of their semantic properties -- The meanings of logical terms explained in terms of their inferential properties -- Model-theoretic and deductive-theoretic (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  4.  44
    An Introduction to Substructural Logics.Greg Restall - 1999 - New York: Routledge.
    This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently led to significant developments in philosophy, computing and linguistics. _An Introduction to Substrucural Logics_ is the first book to systematically survey the new results and the significant impact that this class of logics has had on a wide range of fields.The following topics are covered: * Proof Theory * Propositional Structures * Frames * Decidability * Coda (...)
    Direct download  
     
    Export citation  
     
    Bookmark   204 citations  
  5. An Introduction to Mathematical Metaphysics.Christopher Langan - 2017 - Cosmos and History 13 (2):313-330.
    Since the time of Aristotle, metaphysics has been an ill-defined term. This paper defines it as a logically idempotent metalinguistic identity of reality which couples the two initial ingredients of awareness: perceptual reality (the basis of physics), and cognitive-perceptual syntax, a formalization of mind. The explanation has been reduced to a few very simple, clearly explained mathematical ingredients. This paper contains no assumptions or arguable assertions, and is therefore presented as an advanced formulation of logic which has been updated (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  6. Choice and chance: an introduction to inductive logic.Brian Skyrms - 1975 - Encino, Calif.: Dickenson Pub. Co..
    Preface. I. BASICS OF LOGIC. Introduction. The Structure of Simple Statements. The Structure of Complex Statements. Simple and Complex Properties. Validity. 2. PROBABILITY AND INDUCTIVE LOGIC. Introduction. Arguments. Logic. Inductive versus Deductive Logic. Epistemic Probability. Probability and the Problems of Inductive Logic. 3. THE TRADITIONAL PROBLEM OF INDUCTION. Introduction. Hume’s Argument. The Inductive Justification of Induction. The Pragmatic Justification of Induction. Summary. IV. THE GOODMAN PARADOX AND THE NEW RIDDLE OF (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   72 citations  
  7.  12
    The Logic of Our Language: An Introduction to Symbolic Logic.Rodger L. Jackson & Melanie L. McLeod - 2014 - Peterborough, CA: Broadview Press.
    _The Logic of Our Language_ teaches the practical and everyday application of formal logic. Rather than overwhelming the reader with abstract theory, Jackson and McLeod show how the skills developed through the practice of logic can help us to better understand our own language and reasoning processes. The authors’ goal is to draw attention to the patterns and logical structures inherent in our spoken and written language by teaching the reader how to translate English sentences into formal (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  8. What the Tortoise Said to Achilles: Lewis Carroll’s paradox in terms of Hilbert arithmetic.Vasil Penchev - 2021 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 13 (22):1-32.
    Lewis Carroll, both logician and writer, suggested a logical paradox containing furthermore two connotations (connotations or metaphors are inherent in literature rather than in mathematics or logics). The paradox itself refers to implication demonstrating that an intermediate implication can be always inserted in an implication therefore postponing its ultimate conclusion for the next step and those insertions can be iteratively and indefinitely added ad lib, as if ad infinitum. Both connotations clear up links due to the shared formal structure (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9. Taxonomy, Polymorphism, and History: An Introduction to Population Structure Theory.Marc Ereshefsky & Mohan Matthen - 2005 - Philosophy of Science 72 (1):1-21.
    Homeostatic Property Cluster (HPC) theory suggests that species and other biological taxa consist of organisms that share certain similarities. HPC theory acknowledges the existence of Darwinian variation within biological taxa. The claim is that “homeostatic mechanisms” acting on the members of such taxa nonetheless ensure a significant cluster of similarities. The HPC theorist’s focus on individual similarities is inadequate to account for stable polymorphism within taxa, and fails properly to capture their historical nature. A better approach is to treat (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   48 citations  
  10. An Argument for Minimal Logic.Nils Kürbis - 2019 - Dialectica 73 (1-2):31-63.
    The problem of negative truth is the problem of how, if everything in the world is positive, we can speak truly about the world using negative propositions. A prominent solution is to explain negation in terms of a primitive notion of metaphysical incompatibility. I argue that if this account is correct, then minimal logic is the correct logic. The negation of a proposition A is characterised as the minimal incompatible of A composed of it and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  19
    Introduction to mathematical logic.Hans Hermes - 1973 - New York,: Springer Verlag.
    This book grew out of lectures. It is intended as an introduction to classical two-valued predicate logic. The restriction to classical logic is not meant to imply that this logic is intrinsically better than other, non-classical logics; however, classical logic is a good introduction to logic because of its simplicity, and a good basis for applications because it is the foundation of classical mathematics, and thus of the exact sciences which are based on (...)
  12. Object-Oriented France: The Philosophy of Tristan Garcia.Graham Harman - 2012 - Continent 2 (1):6-21.
    continent. 2.1 (2012): 6–21. The French philosopher and novelist Tristan Garcia was born in Toulouse in 1981. This makes him rather young to have written such an imaginative work of systematic philosophy as Forme et objet , 1 the latest entry in the MétaphysiqueS series at Presses universitaires de France. But this reference to Garcia’s youthfulness is not a form of condescension: by publishing a complete system of philosophy in the grand style, he has already done what none of us (...)
     
    Export citation  
     
    Bookmark  
  13.  74
    Experiencing Phenomenology: An Introduction.Joel Alexander Smith - 2016 - New York: Routledge.
    Phenomenology is the general study of the structure of experience, from thought and perception, to self-consciousness, bodily-awareness, and emotion. It is both a fundamental area of philosophy and a major methodological approach within the human sciences. Experiencing Phenomenology is an outstanding introduction to phenomenology. Approaching fundamental phenomenological questions from a critical, systematic perspective whilst paying careful attention to classic phenomenological texts, the book possesses a clarity and breadth that will be welcomed by students coming to the subject for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  14. Topics in the Proof Theory of Non-classical Logics. Philosophy and Applications.Fabio De Martin Polo - 2023 - Dissertation, Ruhr-Universität Bochum
    Chapter 1 constitutes an introduction to Gentzen calculi from two perspectives, logical and philosophical. It introduces the notion of generalisations of Gentzen sequent calculus and the discussion on properties that characterize good inferential systems. Among the variety of Gentzen-style sequent calculi, I divide them in two groups: syntactic and semantic generalisations. In the context of such a discussion, the inferentialist philosophy of the meaning of logical constants is introduced, and some potential objections – mainly concerning the choice of working (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  25
    Logic & Structure: An Art Project.Roman Kossak & Wanda Siedlecka - 2021 - Theoria 87 (4):959-970.
    The Logic & Structure project is about the language of mathematical logic and how it can be of use in the visual arts. It involves a conversation between a mathematical logician and a group of artists. The project is ongoing, and this is a report on its first two phases. This text has two parts. The first, “Logic”, is a short introduction to certain aspects of logic, as it was presented to the participants. The (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16. An introduction to mathematical logic and type theory: to truth through proof.Peter Bruce Andrews - 1986 - Boston: Kluwer Academic Publishers.
    This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  17.  6
    The Process of Argument: An Introduction.Michael Boylan - 2020 - Routledge.
    The Process of Argument: An Introduction is a necessary companion for anyone seeking to engage in successful persuasion: To organize, construct, and communicate arguments. It is both comprehensive and accessible: An authoritative guide to logical thinking and effective communication. The book begins with techniques to improve reading comprehension, including guides on navigating through fake news and internet trolls. Then, readers are taught how to reconstruct deductive, inductive, and abductive presentations so that the logical structure is explicit. And finally, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  24
    Articulating Reasons: An Introduction to Inferentialism.Robert Brandom - 2000 - Cambridge, Mass.: Harvard University Press.
    Robert B. Brandom is one of the most original philosophers of our day, whose book Making It Explicit covered and extended a vast range of topics in metaphysics, epistemology, and philosophy of language--the very core of analytic philosophy. This new work provides an approachable introduction to the complex system that Making It Explicit mapped out. A tour of the earlier book's large ideas and relevant details, Articulating Reasons offers an easy entry into two of the main themes of Brandom's (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   291 citations  
  19.  27
    Logic and logogrif in German idealism : an investigation into the notion of experience in Kant, Fichte, Schelling.Kyriaki Goudeli - unknown
    In this thesis I investigate the notion of experience in German Idealist Philosophy. I focus on the exploration of an alternative to the transcendental model notion of experience through Schelling's insight into the notion of logogrif. The structural division of this project into two sections reflects the two theoretical standpoints of this project, namely the logic and the logogrif of experience. The first section - the logic of experience - explores the notion of experience provided in Kant's Critique (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  13
    Deductive Logic: An Introduction to Evaluation Technique and Logical Theory.David S. Clarke & Richard Behling - 1973 - Carbondale, IL, USA: Upa.
    Deductive Logic is designed as an intermediate-level text directed at upper-division students from philosophy and the humanities. Its focus is exclusively on deductive logic, avoiding altogether topics such as informal reasoning and scientific method normally included in introductory logic courses. Its exposition of logical topics is informal, with emphasis on explaining the basic concepts and procedures of modern symbolic logic in the simplest and most intuitive manner possible rather than on developing a rigorous formal system and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  20
    An introduction to deductive logic.Gary Iseminger (ed.) - 1968 - New York,: Appleton-Century-Crofts.
    One of the main aims of modern logic at its inception was to show that mathematics could be "reduced to logic"; that is, that mathematical notions could be defined in terms of logical constants in the sense in which we have defined some logical ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22. Semantics in Support of Biodiversity: An Introduction to the Biological Collections Ontology and Related Ontologies.Ramona L. Walls, John Deck, Robert Guralnik, Steve Baskauf, Reed Beaman, Stanley Blum, Shawn Bowers, Pier Luigi Buttigieg, Neil Davies, Dag Endresen, Maria Alejandra Gandolfo, Robert Hanner, Alyssa Janning, Barry Smith & Others - 2014 - PLoS ONE 9 (3):1-13.
    The study of biodiversity spans many disciplines and includes data pertaining to species distributions and abundances, genetic sequences, trait measurements, and ecological niches, complemented by information on collection and measurement protocols. A review of the current landscape of metadata standards and ontologies in biodiversity science suggests that existing standards such as the Darwin Core terminology are inadequate for describing biodiversity data in a semantically meaningful and computationally useful way. Existing ontologies, such as the Gene Ontology and others in the Open (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  23. An Introduction to Partition Logic.David Ellerman - 2014 - Logic Journal of the IGPL 22 (1):94-125.
    Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (nonempty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoretic duality--which is reflected in the duality between quotient objects and subobjects throughout algebra. Hence the (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  24.  18
    An Introduction to Deontic Logic.Daniel Rönnedal - 2010
    Deontic logic is a branch of logic that investigates normative concepts, systems of norms and normative reasoning. The formal languages of deontic logic include normative concepts that correspond to natural language notions such as ought, obligatory, permissible, forbidden and optional. The present book is an introduction to this branch of logic. Several basic deontic systems are described and some of their properties are explored. Every system is characterized both semantically using possible world semantics and axiomatically. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  32
    Learning to reason: an introduction to logic, sets and relations.Nancy Rodgers - 2000 - New York: Wiley.
    Learn how to develop your reasoning skills and how to write well-reasoned proofs Learning to Reason shows you how to use the basic elements of mathematical language to develop highly sophisticated, logical reasoning skills. You'll get clear, concise, easy-to-follow instructions on the process of writing proofs, including the necessary reasoning techniques and syntax for constructing well-written arguments. Through in-depth coverage of logic, sets, and relations, Learning to Reason offers a meaningful, integrated view of modern mathematics, cuts through confusing (...) and ideas, and provides a much-needed bridge to advanced work in mathematics as well as computer science. Original, inspiring, and designed for maximum comprehension, this remarkable book: Clearly explains how to write compound sentences in equivalent forms and use them in valid arguments Presents simple techniques on how to structure your thinking and writing to form well-reasoned proofs Reinforces these techniques through a survey of sets-the building blocks of mathematics Examines the fundamental types of relations, which is "where the action is" in mathematics Provides relevant examples and class-tested exercises designed to maximize the learning experience Includes a mind-building game/exercise space at www.wiley.com/products/subject/mathematics/. (shrink)
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  8
    A new exploration of Hegel's Dialectics III: the three-dimensional structure.Deng Xiaomang - 2022 - London: Routledge, Taylor & Francis Group. Edited by Lihuan Wu & Chad Austin Meyers.
    The three-volume set gives new insights into Hegel's dialectics and thereby his overall philosophical thought via a retracing of the origins of dialectics and an analysis of its logic structure, with the concept of the Nous highlighted as fundamental to this. The first volume explores two origins of Hegelian dialectics from ancient Greek philosophy, namely the linguistic spirit of Logos and the existentialist spirit of Nous, before illuminating how their binary opposition, division and unification constitutes the inner (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  4
    The Validity of a Robinsonian Interpretation of the Nāgārjuna’s Logics of Catuṣkoṭi : Comparing Prasaṅga with Hegel’s Dialectics. 김태수 - 2016 - The Journal of Indian Philosophy 46 (46):189-218.
    Kajiyama Yuich understands Nāgārjuna’s logics of catuṣkoṭi in terms of Hegelian Dialectics, while interpreting the negation formula of 4th koṭi in tetralemma as the religious truth of Madhyamika, which cannot be negated as an ultimate truth. And Richard Robinson also posits this proposition as dissolving the entire dr̥sti. Examining these approaches, this thesis argues against the dialectical interpretation of catuṣkoṭi with reference to its logical structure. For this, reference will also be made to Piṇgala and Candrakīrti’s (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  13
    The logic of informational independence and finite models.G. Sandu - 1997 - Logic Journal of the IGPL 5 (1):79-95.
    In this paper we relax the assumption that the logical constants of ordinary first-order logic be linearly ordered. As a consequence, we shall have formulas involving not only partially ordered quantifiers, but also partially ordered connectives. The resulting language, called the language of informational independence will be given an interpretation in terms of games of imperfect information. The II-logic will be seen to have some interesting properties: It is very natural to define in this logic two (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  6
    The Quark Structure of Hadrons: An Introduction to the Phenomenology and Spectroscopy.Claude Amsler - 2018 - Cham: Imprint: Springer.
    Novel forms of matter, such as states made of gluons (glueballs), multiquark mesons or baryons and hybrid mesons are predicted by low energy QCD, for which several candidates have recently been identified. Searching for such exotic states of matter and studying their production and decay properties in detail has become a flourishing field at the experimental facilities now available or being built - e.g. BESIII in Beijing, BELLE II at SuperKEKB, GlueX at Jefferson Lab, PANDA at FAIR, J-PARC and in (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Faith and Reason From Plato to Plantinga: An Introduction to Reformed Epistemology by Dewey J. Hoitenga, Jr.Nicholas P. Wolterstorff - 1993 - The Thomist 57 (3):542-546.
    In lieu of an abstract, here is a brief excerpt of the content:542 BOOK REVIEWS sires. Rather, the Subjects need to want to do those things that bring about the Bosses' satisfaction. And this raises the question of the control of the imagination. explores the subtle power relations between controllers and the controlled, to the end of exploring ways that imagination offers control over power relationships. Yet Rorty ends with a bleak vision: we are a basically conservative species, whose capacities (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31. An Introduction to Ontology.Barry Smith - 1998 - In Donna Peuquet, Barry Smith & Berit O. Brogaard (eds.), The Ontology of Fields. National Center for Geographic Information and Analysis. pp. 10-14.
    Analytical philosophy of the last one hundred years has been heavily influenced by a doctrine to the effect that one can arrive at a correct ontology by paying attention to certain superficial (syntactic) features of first-order predicate logic as conceived by Frege and Russell. More specifically, it is a doctrine to the effect that the key to the ontological structure of reality is captured syntactically in the ‘Fa’ (or, in more sophisticated versions, in the ‘Rab’) of first-order (...), where ‘F’ stands for what is general in reality and ‘a’ for what is individual. Hence “f(a)ntology”. Because predicate logic has exactly two syntactically different kinds of referring expressions—‘F’, ‘G’, ‘R’, etc., and ‘a’, ‘b’, ‘c’, etc.—so reality must consist of exactly two correspondingly different kinds of entity: the general (properties, concepts) and the particular (things, objects), the relation between these two kinds of entity being revealed in the predicate-argument structure of atomic formulas in first-order logic. (shrink)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  5
    Nomic inference: an introduction to the logic of scientific inquiry.Salvator Cannavo - 1974 - The Hague: Martinus Nijhoff.
    Those who speak of the philosophy of science do not all have the same sort of study in mind. For some it is speculation about the overall nature of the world. Others take it to be basic theory of knowledge and perception. And for still others, it is a branch of philosophical analysis focused speci is meant to be a study falling under fically on science. The present book this last category. Generally, such a study has two aspects: one, methodological, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  35
    Handling Inconsistencies in the Early Calculus: An Adaptive Logic for the Design of Chunk and Permeate Structures.Jesse Heyninck, Peter Verdée & Albrecht Heeffer - 2018 - Journal of Philosophical Logic 47 (3):481-511.
    The early calculus is a popular example of an inconsistent but fruitful scientific theory. This paper is concerned with the formalisation of reasoning processes based on this inconsistent theory. First it is shown how a formal reconstruction in terms of a sub-classical negation leads to triviality. This is followed by the evaluation of the chunk and permeate mechanism proposed by Brown and Priest in, 379–388, 2004) to obtain a non-trivial formalisation of the early infinitesimal calculus. Different shortcomings of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. Knowledge and Belief: An Introduction to the Logic of the Two Notions. [REVIEW]A. G. N. - 1962 - Review of Metaphysics 16 (2):395-395.
    The author presents an epistemic logic with quantification, formulated in terms of consistency in model systems. To support results like "a knows p, and p implies q, therefore a knows q," consistency of a set of statements is reinterpreted as defensibility, or immunity to criticism. Perspicuous informal analyses, such as the remarks on the role of pronouns, augment the book's philosophical value.--N. A. G.
     
    Export citation  
     
    Bookmark   1 citation  
  35.  17
    Fragments of Quasi-Nelson: The Algebraizable Core.Umberto Rivieccio - 2022 - Logic Journal of the IGPL 30 (5):807-839.
    This is the second of a series of papers that investigate fragments of quasi-Nelson logic (QNL) from an algebraic logic standpoint. QNL, recently introduced as a common generalization of intuitionistic and Nelson’s constructive logic with strong negation, is the axiomatic extension of the substructural logic |$FL_{ew}$| (full Lambek calculus with exchange and weakening) by the Nelson axiom. The algebraic counterpart of QNL (quasi-Nelson algebras) is a class of commutative integral residuated lattices (a.k.a. |$FL_{ew}$|-algebras) that includes (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  36. An Introduction to the Problem of Affirmation in Nietzsche's Thought.Robert Aaron Rethy - 1980 - Dissertation, The Pennsylvania State University
    The third and fourth parts sketch aspects and difficulties of such a philosophy. Part III is concerned with the overcoming of the metaphysical negativity inherent in the conception of phenomena as appearances. Nietzsche's use of the Dionysian "mask" in his later thought is examined with respect to precisely such an overcoming. The affirmative relation of mask and masked and the problem of philosophical unmasking as affirmation arise as elements unique to the latest phase of Nietzsche's thought and are discussed in (...)
     
    Export citation  
     
    Bookmark  
  37.  19
    Ernest Schimmerling. Covering properties of core models. Sets and proofs. (Leeds, 1997), London Mathematical Society Lecture Note Series 258. Cambridge University Press, Cambridge, 1999, pp. 281–299. - Peter Koepke. An introduction to extenders and core models for extender sequences. Logic Colloquium '87 (Granada, 1987), Studies in Logic and the Foundations of Mathematics 129. North-Holland, Amsterdam, 1989, pp. 137–182. - William J. Mitchell. The core model up to a Woodin cardinal. Logic, methodology and philosophy of science, IX (Uppsala, 1991), Studies in Logic and the Foundations of Mathematics 134, North-Holland, Amsterdam, 1994, pp. 157–175. - Benedikt Löwe and John R. Steel. An introduction to core model theory. Sets and proofs (Leeds, 1997), London Mathematical Society Lecture Note Series 258, Cambridge University Press, Cambridge, 1999, pp. 103–157. - John R. Steel. Inner models with many Woodin cardinals. Annals of Pure and Applied Logic, vol. 65 no. 2 (1993), pp. 185–209. -.Martin Zeman - 2004 - Bulletin of Symbolic Logic 10 (4):583-588.
  38.  21
    Interpretation in Legal Theory.Andrei Marmor (ed.) - 1990 - Hart Publishing.
    Chapter 1: An Introduction: The ‘Semantic Sting’ Argument Describes Dworkin’s theory as concerning the conditions of legal validity. “A legal system is a system of norms. Validity is a logical property of norms in a way akin to that in which truth is a logical property of propositions. A statement about the law is true if and only if the norm it purports to describe is a valid legal norm…It follows that there must be certain conditions which (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  39.  85
    An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs.Paolo Mancosu, Sergio Galvan & Richard Zach - 2021 - Oxford: Oxford University Press. Edited by Sergio Galvan & Richard Zach.
    An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first half covers topics in structural proof theory, including the Gödel-Gentzen translation of classical into intuitionistic logic, natural deduction and the normalization theorems, the sequent calculus, including cut-elimination and mid-sequent theorems, and various (...)
  40. The Incarnation of God: An Introduction to Hegel’s Theological Thought as Prolegomena to a Future Christology by Hans Küng.Thomas Weinandy - 1989 - The Thomist 53 (4):693-700.
    In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS The Incarnation of God: An Introduction to Hegel's Theological Thought as Prolegomena to a Future Christology. By HANS Kii'NG. Translated by J. R. Stephenson. New York: Crossroad, 1987. Pp. 601. $37.50 (cloth bound). This is an imposing book (first German edition, 1970), not only in length, but in breadth of presentation. Kiing, in the introduction, outlines the philosophical, theological and cultural milieus out of which (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  11
    The Nonthinkable, the Nonhuman, the Nonphilosophical: On the Function of Negation in Posthumanism.Nigina R. Sharopova - 2022 - Russian Studies in Philosophy 60 (3):186-204.
    The philosophical manifestos of the past few decades involving attempts to go beyond constructs, discourses, and structures to the things themselves and a return to ontology and materialism often address the problems of the Anthropocene. Criticism of anthropocentrism and the introduction of the nonhuman into the focus of philosophy opened up new perspectives in solving the problems of idealism. This escape from the discursive aspect and the human factor, which is intended to break out philosophical projects to the outside, (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  42.  8
    Introduction to Many Valued Logics. [REVIEW]P. K. H. - 1967 - Review of Metaphysics 21 (2):368-368.
    The serious formal investigation of n-valued systems of logic for n>2 dates back to Post's 1921 doctoral dissertation. The primary use for such structures, however, has been as model-theoretic devices in the investigation of systems of lower order. Ackermann's short book now comes as a welcome addition to the literature dealing with the formal properties and applications of n-valued systems in their own right. Ackermann begins with a general discussion of implicational calculi in which fundamental ideas of validity, well-formedness, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  9
    A New Exploration of Hegel's Dialectics.Xiaomang Deng - 2022 - New York, New York: Routledge. Edited by Lihuan Wu & Chad Austin Meyers.
    The three-volume set gives new insights into Hegel's dialectics and thereby his overall philosophical thought via a retracing of the origins of dialectics and an analysis of its logic structure, with the concept of the Nous highlighted as fundamental to this. The first volume explores two origins of Hegelian dialectics from ancient Greek philosophy, namely the linguistic spirit of Logos and the existentialist spirit of Nous, before illuminating how their binary opposition, division and unification constitutes the inner (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  21
    A Philosophical Introduction to Higher-order Logics.Andrew Bacon - 2023 - Routledge.
    This is the first comprehensive textbook on higher order logic that is written specifically to introduce the subject matter to graduate students in philosophy. The book covers both the formal aspects of higher-order languages -- their model theory and proof theory, the theory of λ-abstraction and its generalizations -- and their philosophical applications, especially to the topics of modality and propositional granularity. The book has a strong focus on non-extensional higher-order logics, making it more appropriate for foundational metaphysics than (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  45. Varieties of social explanation: an introduction to the philosophy of social science.Daniel Little - 1991 - Boulder: Westview Press.
    Professor Little presents an introduction to the philosophy of social science with an emphasis on the central forms of explanation in social science: rational-intentional, causal, functional, structural, materialist, statistical and interpretive. The book is very strong on recent developments, particularly in its treatment of rational choice theory, microfoundations for social explanation, the idea of supervenience, functionalism, and current discussions of relativism.Of special interest is Professor Little’s insight that, like the philosophy of natural science, the philosophy of social science can (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   121 citations  
  46.  34
    Preservation of structural properties in intuitionistic extensions of an inference relation.Tor Sandqvist - 2018 - Bulletin of Symbolic Logic 24 (3):291-305.
    The article approaches cut elimination from a new angle. On the basis of an arbitrary inference relation among logically atomic formulae, an inference relation on a language possessing logical operators is defined by means of inductive clauses similar to the operator-introducing rules of a cut-free intuitionistic sequent calculus. The logical terminology of the richer language is not uniquely specified, but assumed to satisfy certain conditions of a general nature, allowing for, but not requiring, the existence of infinite conjunctions and disjunctions. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  28
    An Introduction to Metalogic.Aladdin M. Yaqub - 2014 - Peterborough, CA: Broadview Press.
    _An Introduction to Metalogic_ is a uniquely accessible introduction to the metatheory of first-order predicate logic. No background knowledge of logic is presupposed, as the book is entirely self-contained and clearly defines all of the technical terms it employs. Yaqub begins with an introduction to predicate logic and ends with detailed outlines of the proofs of the incompleteness, undecidability, and indefinability theorems, covering many related topics in between.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  6
    An Introduction to Ethics: Five Central Problems of Moral Judgement.Geoffrey Thomas - 1993 - Hackett Publishing.
    A comprehensive yet concise introduction to central topics, debates, and techniques of moral philosophy in the analytic tradition, this volume combines a thematic, issue-oriented format with rigorous standards of clarity and precision. Thomas introduces fundamental concepts and terms, proceeding through a step-by-step exploration of five general areas of debate: the specification of moral judgment; moral judgment and the moral standard; the justification of moral judgment; logic, reasoning, and moral judgment; and moral judgment and moral responsibility. Key historical (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  49. Stepping Beyond the Newtonian Paradigm in Biology. Towards an Integrable Model of Life: Accelerating Discovery in the Biological Foundations of Science.Plamen L. Simeonov, Edwin Brezina, Ron Cottam, Andreé C. Ehresmann, Arran Gare, Ted Goranson, Jaime Gomez-­‐Ramirez, Brian D. Josephson, Bruno Marchal, Koichiro Matsuno, Robert S. Root-­Bernstein, Otto E. Rössler, Stanley N. Salthe, Marcin Schroeder, Bill Seaman & Pridi Siregar - 2012 - In Plamen L. Simeonov, Leslie S. Smith & Andrée C. Ehresmann (eds.), Integral Biomathics: Tracing the Road to Reality. Springer. pp. 328-427.
    The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...)
     
    Export citation  
     
    Bookmark  
  50.  10
    The nuts and bolts of proofs: an introduction to mathematical proofs.Antonella Cupillari - 2023 - San Diego, CA: Academic Press, an imprint of Elsevier.
    The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs, Fifth Edition provides basic logic of mathematical proofs and shows how mathematical proofs work. It offers techniques for both reading and writing proofs. The second chapter of the book discusses the techniques in proving if/then statements by contrapositive and proofing by contradiction. It also includes the negation statement, and/or. It examines various theorems, such as the if and only-if, or equivalence theorems, the existence theorems, and the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000